CD ROM Paradise Collection 4/CD ROM Paradise Collection 4 1995 Nov.iso/misc/cabern.zip/EXAMPLES/TASK.NET

Text File | 1994-09-08 | 7KB | 186 lines

(TimedNet$task.net
42#
(TimedPlace$t1_P1

973#453#100#2#1#1#1#
(TimedToken$Tk1
0
T0
0#);
1
timed_int
)
(TimedPlace$t1_P2

973#965#100#2#1#2#0#;
1
timed_int
)
(TimedPlace$t1_P3

973#1477#100#2#1#3#0#;
1
timed_int
)
(TimedPlace$t1_P4

973#1989#100#2#1#4#0#;
1
timed_int
)
(TimedTransition$t1_T1

973#709#100#1#1#8#TRUE
;
enab+2
enab+3
STRONG
)
(TimedTransition$t1_T2

973#1221#100#1#1#9#TRUE
;
enab+0.1
enab+0.2
STRONG
)
(TimedTransition$t1_T3

973#1733#100#1#1#10#TRUE
;
enab+10
enab+12
STRONG
)
(TimedTransition$t1_T4

973#2245#100#1#1#11#TRUE
;
enab+0.1
enab+0.2
STRONG
)
(TimedPlace$t1_P8

461#2501#100#2#1#12#0#;
1
timed_int
)
(TimedPlace$t1_P9

973#2501#100#2#1#13#0#;
1
timed_int
)
(TimedTransition$t1_T5

461#2757#100#1#1#14#TRUE
;
enab+40
enab+45
STRONG
)
(TimedTransition$t1_T6

973#2757#100#1#1#15#TRUE
;
enab+2
enab+4
STRONG
)
(TimedPlace$t1_P10

973#3013#100#2#1#16#0#;
1
timed_int
)
(TimedPlace$t2_P1

3533#453#100#2#1#79#1#
(TimedToken$Tk2
0
T0
0#);
1
timed_int
)
(TimedPlace$PROCESSORS

2509#1733#100#2#1#18#2#
(TimedToken$Tk3

0
T0
0#)
(TimedToken$Tk3

0
T0
0#);
1
timed_int
)
(TimedTransition$t2_T1

3533#709#100#1#1#80#TRUE
;
enab+2
enab+3
STRONG
)
(TimedPlace$DISK

2253#1221#100#2#1#20#1#
(TimedToken$from_T3

0
T0
0#);
1
timed_int
)
(TimedPlace$PRINTER

2509#2245#100#2#1#21#1#
(TimedToken$Tk3

0
T0
0#);
1
timed_int
)
(TimedPlace$t2_P2

3533#965#100#2#1#81#0#;
1
timed_int
)
(TimedTransition$t2_T2

3533#1221#100#1#1#82#TRUE
;
enab+0.1
enab+0.2
STRONG
)
(TimedPlace$t2_P3

3533#1477#100#2#1#83#0#;
1
timed_int
)
(TimedTransition$t2_T3

3533#1733#100#1#1#84#TRUE
;
enab+10
enab+12
STRONG
)
(TimedPlace$t2_P4

3533#1989#100#2#1#85#0#;
1
timed_int
)
(TimedTransition$t2_T4

3533#2245#100#1#1#86#TRUE
;
enab+0.1
enab+0.2
STRONG
)
(TimedPlace$t2_P8

3021#2501#100#2#1#87#0#;
1
timed_int
)
(TimedTransition$t2_T5

3021#2757#100#1#1#88#TRUE
;
enab+40
enab+45
STRONG
)
(TimedTransition$t2_T6

3533#2757#100#1#1#89#TRUE
;
enab+2
enab+4
STRONG
)
(TimedPlace$t2_P9

3533#2501#100#2#1#90#0#;
1
timed_int
)
(TimedPlace$t2_P10

3533#3013#100#2#1#91#0#;
1
timed_int
)
(TimedPlace$t3_P1

973#3525#100#2#1#92#1#
(TimedToken$Tk4
0
T0
0#);
1
timed_int
)
(TimedTransition$t3_T1

1229#3269#100#1#1#93#TRUE
;
enab+2
enab+3
STRONG
)
(TimedPlace$t3_P2

1485#3525#100#2#1#94#0#;
1
timed_int
)
(TimedTransition$t3_T2

1741#3269#100#1#1#95#TRUE
;
enab+0.1
enab+0.2
STRONG
)
(TimedPlace$t3_P3

1997#3525#100#2#1#96#0#;
1
timed_int
)
(TimedTransition$t3_T3

2253#3269#100#1#1#97#TRUE
;
enab+10
enab+12
STRONG
)
(TimedPlace$t3_P4

2509#3525#100#2#1#98#0#;
1
timed_int
)
(TimedTransition$t3_T4

2765#3269#100#1#1#99#TRUE
;
enab+0.1
enab+0.2
STRONG
)
(TimedPlace$t3_P8

3021#3269#100#2#1#100#0#;
1
timed_int
)
(TimedTransition$t3_T5

3277#3269#100#1#1#101#TRUE
;
enab+40
enab+45
STRONG
)
(TimedTransition$t3_T6

3533#3525#100#1#1#102#TRUE
;
enab+2
enab+4
STRONG
)
(TimedPlace$t3_P9

3021#3525#100#2#1#103#0#;
1
timed_int
)
(TimedPlace$t3_P10

3789#3269#100#2#1#104#0#;
1
timed_int
)71#
(Arc$A1
0#0#0#0#0#0#0#0#20#0#1#2^7^1
)
(Arc$A2
0#0#0#0#0#0#0#0#20#0#1#7^4^1
)
(Arc$A3
0#0#0#0#0#0#0#0#20#0#1#4^8^1
)
(Arc$A4
0#0#0#0#0#0#0#0#20#0#1#8^5^1
)
(Arc$A5
0#0#0#0#0#0#0#0#20#0#1#5^9^1
)
(Arc$A6
0#0#0#0#0#0#0#0#20#0#1#9^6^1
)
(Arc$A7
0#0#0#0#0#0#0#0#20#0#1#6^10^1
)
(Arc$A8
0#0#0#0#0#0#0#0#20#0#1#10^11^1
)
(Arc$A9
0#0#0#0#0#0#0#0#20#0#1#10^12^1
)
(Arc$A10
0#0#0#0#0#0#0#0#20#0#1#12^14^1
)
(Arc$A11
0#0#0#0#0#0#0#0#20#0#1#11^13^1
)
(Arc$A12
0#0#0#0#0#0#0#0#20#0#1#14^15^1
)
(Arc$A69
0#0#0#0#0#0#0#0#20#0#1#8^18^1
)
(Arc$A70
0#0#0#0#0#0#0#0#20#0#1#14^18^1
)
(Arc$A15
0#0#0#0#0#0#0#0#20#0#1#18^7^1
)
(Arc$A71
0#0#0#0#0#0#0#0#20#0#1#18^39^1
)
(Arc$
0#0#0#0#0#0#0#0#20#0#1#16^21^1
)
(Arc$A72
0#0#0#0#0#0#0#0#20#0#1#18^45^1
)
(Arc$A73
0#0#0#0#0#0#0#0#20#0#1#18^31^1
)
(Arc$A32
0#0#0#0#0#0#0#0#20#0#1#22^8^1
)
(Arc$A33
0#0#0#0#0#0#0#0#20#0#1#9^22^1
)
(Arc$
0#0#0#0#0#0#0#0#20#0#1#21^26^1
)
(Arc$A42
0#0#0#0#0#0#0#0#20#0#1#18^10^1
)
(Arc$
0#0#0#0#0#0#0#0#20#0#1#26^27^1
)
(Arc$A36
0#0#0#0#0#0#0#0#20#0#1#24^10^1
)
(Arc$A37
0#0#0#0#0#0#0#0#20#0#1#13^24^1
)
(Arc$
0#0#0#0#0#0#0#0#20#0#1#27^28^1
)
(Arc$
0#0#0#0#0#0#0#0#20#0#1#28^29^1
)
(Arc$A74
0#0#0#0#0#0#0#0#20#0#1#18^21^1
)
(Arc$
0#0#0#0#0#0#0#0#20#0#1#29^30^1
)
(Arc$
0#0#0#0#0#0#0#0#20#0#1#30^31^1
)
(Arc$
0#0#0#0#0#0#0#0#20#0#1#31^35^1
)
(Arc$
0#0#0#0#0#0#0#0#20#0#1#31^32^1
)
(Arc$
0#0#0#0#0#0#0#0#20#0#1#32^33^1
)
(Arc$
0#0#0#0#0#0#0#0#20#0#1#35^34^1
)
(Arc$
0#0#0#0#0#0#0#0#20#0#1#34^36^1
)
(Arc$
0#0#0#0#0#0#0#0#20#0#1#37^39^1
)
(Arc$
0#0#0#0#0#0#0#0#20#0#1#39^40^1
)
(Arc$
0#0#0#0#0#0#0#0#20#0#1#40^41^1
)
(Arc$
0#0#0#0#0#0#0#0#20#0#1#41^42^1
)
(Arc$
0#0#0#0#0#0#0#0#20#0#1#42^43^1
)
(Arc$
0#0#0#0#0#0#0#0#20#0#1#43^44^1
)
(Arc$
0#0#0#0#0#0#0#0#20#0#1#44^45^1
)
(Arc$
0#0#0#0#0#0#0#0#20#0#1#45^49^1
)
(Arc$
0#0#0#0#0#0#0#0#20#0#1#45^46^1
)
(Arc$
0#0#0#0#0#0#0#0#20#0#1#46^47^1
)
(Arc$
0#0#0#0#0#0#0#0#20#0#1#49^48^1
)
(Arc$
0#0#0#0#0#0#0#0#20#0#1#48^50^1
)
(Arc$A49
0#0#0#0#0#0#0#0#20#0#1#22^27^1
)
(Arc$A50
0#0#0#0#0#0#0#0#20#0#1#29^22^1
)0^0^0^
(Arc$A54
0#0#0#0#0#0#0#0#20#0#1#27^18^1
)0^0^
(Arc$A57
0#0#0#0#0#0#0#0#20#0#1#34^18^1
)
(Arc$A58
0#0#0#0#0#0#0#0#20#0#1#24^31^1
)
(Arc$A59
0#0#0#0#0#0#0#0#20#0#1#33^24^1
)0^0^0^
(Arc$A63
0#0#0#0#0#0#0#0#20#0#1#41^18^1
)0^0^0^
(Arc$A67
0#0#0#0#0#0#0#0#20#0#1#48^18^1
)
(Arc$A68
0#0#0#0#0#0#0#0#20#0#1#22^41^1
)
(Arc$A69
0#0#0#0#0#0#0#0#20#0#1#43^22^1
)
(Arc$A70
0#0#0#0#0#0#0#0#20#0#1#24^45^1
)
(Arc$A71
0#0#0#0#0#0#0#0#20#0#1#47^24^1
)104#class timed_int
                 {
             public:
             double time;
            int    value;
            friend istream & operator >>(istream & strm, timed_int & t)
            {
            strm >> t.time>> t.value ;
            return strm;
            }

            friend ostream & operator << (ostream & strm, timed_int  t)
            {
            strm << t.time <<"\n"<<t.value << "\n";
            return strm;
            }
            };

            class timed_char
                 {
             public:
             double time;
            char value;
            friend istream & operator >>(istream & strm, timed_char & t)
            {
            strm >> t.time >> t.value;
            return strm;
            }

            friend ostream & operator << (ostream & strm, timed_char  t)
            {
            strm << t.time <<"\n"<< t.value << "\n";
            return strm;
            }
            };

            class timed_double
                 {
             public:
             double time;
            double value;
            friend istream & operator >>(istream & strm, timed_double & t)
            {
            strm >> t.time >> t.value;
            return strm;
            }

            friend ostream & operator << (ostream & strm, timed_double  t)
            {
            strm << t.time <<"\n"<< t.value << "\n";
            return strm;
            }
            };

            class timed_string
                 {
             public:
             double time;
            char value[256];
            friend istream & operator >>(istream & strm, timed_string & t)
            {
            strm >> t.time >> t.value;
            return strm;
            }

            friend ostream & operator << (ostream & strm, timed_string  t)
            {
            strm << t.time <<"\n"<< t.value << "\n";
            return strm;
            }
            };


T0==0
)